On efficient algorithms for finding efficient salvo policies

We consider the salvo policy problem, in which there are k moments, called salvos, at which we can fire multiple missiles simultaneously at an incoming object. Each salvo is characterized by a probability p_i: the hit probability of a single missile. After each salvo, we can assess whether the incoming object is still active. If it is, we fire the missiles assigned to the next salvo. In the salvo policy problem, the goal is to assign at most n missiles to salvos in order to minimize the expected number of missiles used. We consider three problem versions. In Gould's version, we have to assign all n missiles to salvos. In the Big Bomb version, a cost of B is incurred when all salvo's are unsuccessful. Finally, we consider the Quota version in which the kill probability should exceed some quota Q. We discuss the computational complexity and the approximability of these problem versions. In particular, we show that Gould's version and the Big Bomb version admit pseudopolynomial time exact algorithms and fully polynomial time approximation schemes. We also present an iterative approximation algorithm for the Quota version, and show that a related problem is NP-complete.     

双机编队协同制导的火控机理

针对半主动雷达中制导的远距空空导弹在制导过程中对载机的强依赖性问题,提出了双机协同制导的概念;首次给出了双机协同制导的过程描述.分析了长、僚机制导过程中对导弹导引和目标跟踪过程中的各计算要素;提出了长机对目标预测并进行数据传递,僚机再通过预测值对目标实施机动和照射的协同制导思想.     

Analytic solution for the nucleolus of a three‐player cooperative game

The nucleolus solution for cooperative games in characteristic function form is usually computed numerically by solving a sequence of linear programing (LP) problems, or by solving a single, but very large‐scale, LP problem. This article proposes an algebraic method to compute the nucleolus solution analytically (i.e., in closed‐form) for a three‐player cooperative game in characteristic function form. We first consider cooperative games with empty core and derive a formula to compute the nucleolus solution. Next, we examine cooperative games with nonempty core and calculate the nucleolus solution analytically for five possible cases arising from the relationship among the value functions of different coalitions. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

基于扩展Petri网的防空C~4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。     

雷达侦察效能对防空兵群抗击效率的影响评估

从信息化条件下防空作战的实际需要出发,描述了搜索雷达与火控雷达的侦察效能对群抗击效率影响的基本特点,运用概率论和防空兵射击指挥理论,建立了防空兵群分散指挥和集中指挥时,搜索与火控雷达发现目标概率对群抗击效率影响的数学模型,结合实例计算分析了选择射击指挥方式时搜索雷达发现目标概率的临界值。     

FIPA规范的防空导弹体系Agent建模方法

针对防空导弹体系建模的复杂性,探讨研究防空导弹体系的Agent建模方法.提出了基于G/A矩阵的Agent建模方法步骤,通过分析角色之间的关系描述了Agent组织结构,给出了角色类和Agent类的统一定义,并建立了Agent结构框架和类实现模型,最后构建了基于FIPA规范的MAS综合集成框架.该方法的提出,为防空导弹体系的进一步建模提供了方法依据.     

侧壁式气垫船水压场试验研究

在拖曳水池中对侧壁式气垫船的水压场进行了系统测量,得到不同水深、不同航速和不同横向位置水底扰动压力系数的纵向通过特性曲线,分析总结了侧壁式气垫船水压场规律.     

基于作战能力的装备保障方法

分析了传统的武器装备保障方法对战时保障的不足,提出了基于作战能力的装备保障方法,阐明了该方法的主要思想.研究了通过建立任务-作战能力-装备及其功能结构之间的关联关系,识别装备保障需求的方法,并讨论了基于作战能力的装备保障中使用保障方案评价、维修保障方案评价、装备使用调配等重要问题.该方法的研究为一体化联合作战模式下装备保障研究工作建立了总的理论框架.     

一类带时滞的非线性兰彻斯特战斗模型的分析

基于非线性兰彻斯特方程的一般形式和现代战争的特点,考虑到时间因素在现代战争中的巨大作用,建立并讨论了一类带时滞的非线性兰彻斯特战斗模型。通过定性分析,得到了模型的平衡点及其稳定性,证明了原模型解的存在唯一性,并给出了解的存在区域。战例分析结果表明该模型能用来描述现代战争。因此,该模型对研究现代战争的战斗进程、武器发展规划、现代军事练兵等都具有一定的参考价值。     

防空群对多批次小间隔目标射击效能评估

基于排队网络理论的适用性分析以及基本假设与适当简化,将防空群对多批次、小间隔目标射击问题转化、抽象为排队网络对顾客流的服务问题,建立了防空群对多批次、小间隔目标射击效能评估的"分布式协同排队网络"模型。在特定作战实例和假设条件下,应用所建模型,计算得出了典型火力配属方案下防空群对多批次、小间隔目标射击效能的量化结果,实现了防空群对多批次、小间隔目标的射击效能的定量化评估,验证了所建模型的可行性与有效性。